This is TeX, WAITS Version 1.3 (preloaded format=plain 85.1.8)  11 FEB 1985 20:27
**MONADI.TEX
(MONADI.TEX[W85,JMC] (JMCMAC.TEX[1,SMC]
\hours=\count25
\minutes=\count26
\temp=\count27
\ampm=\toks12
\scount=\count28
\ecount=\count29
\itemcount=\count30
\subcount=\count31
\notecount=\count32
\partcount=\count33
\outlcount=\count34
\supcount=\count35
\parcount=\count36
) [1]
Overfull \hbox (12.24942pt too wide) in paragraph at lines 17--25, p.2
[]\tenrm First con-sider closed monadic for-mu-las in-volv-ing the pred-i-cate s
ym-bols $\tenit P[]\teni ; [] ; \tenit P[]$\tenrm .

\hbox(6.94444+1.94444)x361.34999, glue set - 1.0
.\hbox(0.0+0.0)x20.0
.\tenrm F
.\tenrm i
.\tenrm r
.\tenrm s
.etc.

[2] [3]
Output written on MONADI.DVI[W85,JMC] (3 pages, 6404 bytes).